table tr {
	vertical-align: top;
}

td .discovery {
	background-color: #00FF00;
}
td .ok {
	background-color: #80FF80;
}
td .fail {
	background-color: #FF8080;
}
td .wrong {
	background-color: #FF0000;
}
td .nothing {
}

.details_section_title {
	margin-top: 1ex;
	font-weight: bold;
}

.action_link img {
	border: none;
}

.index_row_actions {
	white-space: nowrap;
}
.menu li {
	white-space: nowrap;
}